body
{
    font-family: sans;
    font-size: 12pt;
    color: rgb(0, 0, 0);
    background: rgb(255, 255, 255);
    border: none;
    margin: 0mm;
    padding: 0mm;
}

/*
 * A4 = 210 * 297
 * margin = 12.5mm
 * cw = 210 - 2 * 12.5 = 185
 * ch = 297 - 2 * 12.75 = 271.5
 */

div.page
{
    width: 185mm;
    height: 271.5mm;
    border: none;
    border: 1px solid rgb(255, 0, 0);
    margin: 0mm;
    padding: 0mm;
}

div.title
{
    width: 100%;
    height: 100%;
    font-weight: bold;
    border: none;
    font-size: 24pt;
    text-align: center;
    line-height: 271.5mm;
}

div.license
{
    width: 185mm;
    position: absolute;
    bottom: 10mm;
    text-align: center;
    border: none;
}

p
{
    text-align: justify;
    margin-top: 0mm;
    margin-bottom: 1.5mm;
}

p.space
{
    margin-top: 5mm;
    margin-bottom: 5mm;
}

h1
{
    font-family: sans;
    font-size: 18pt;
    margin-top: 0mm;
    margin-bottom: 3mm;
}

p.thumbnail
{
    text-align: center;
}

img.thumbnail
{
    border: none;
}

img.thumbnail-50
{
    width: 50%;
    border: none;
}

img.thumbnail-75
{
    width: 75%;
    border: none;
}

a:link
{
    color: rgb(0, 0, 0);
    font-style: italic;
    text-decoration: none;
    font-weight: bold;
}

a:visited
{
    color: rgb(0, 0, 0);
    font-style: italic;
    text-decoration: none;
    font-weight: bold;
}

a:active
{
    color: rgb(0, 0, 0);
    font-style: italic;
    text-decoration: none;
    font-weight: bold;
}

a:hover
{
    color: rgb(0, 0, 0);
    font-style: italic;
    text-decoration: none;
    font-weight: bold;
}

li
{
    text-align: justify;
}

pre
{
    font-family: monospace;
    font-size: 9pt;
}

.syntaxhighlighter
{
    font-family: monospace;
    font-size: 9pt !important;
}

table
{
    margin: auto;
}

td.centercell
{
    text-align: center;
}

th.texttoleft
{
    text-align: left;
}
